<!-- Proxy info -->
<dom-module id="proxy-view">
  <template>    
    <div id=proxy-view-tab-content class=content-box>
      <div id=proxy-view-effective-content>
        <h4>Effective proxy settings</h4>
        <pre id=proxy-view-effective-settings></pre>
      </div>
    
      <div id=proxy-view-original-content>
        <h4>Original proxy settings</h4>
        <pre id=proxy-view-original-settings></pre>
      </div>
    
      <div id=proxy-view-socks-hints>
        Note that some traffic such as DNS prefetching will NOT go through the proxy
        server. To prevent the browser from doing local DNS resolves try adding this
        command line flag:
        <pre id=proxy-view-socks-hints-flag></pre>
      </div>
    
      <div id=proxy-view-bad-proxies-div style='display: none'>
        <h4>Recently failed proxies, marked as bad</h4>
        <table class="styled-table">
          <thead>
            <tr>
              <th>Bad proxy server</th>
              <th>Time for next retry</th>
            </tr>
          </thead>
          <tbody id=proxy-view-bad-proxies-tbody></tbody>
        </table>
      </div>
    </div>
  </template>
  <script>
    Polymer({
      is: 'proxy-view',
    });
  </script>
</dom-module>

